#include <stdint.h>
uint64_t sum(uint64_t num) {
  uint64_t total = 0;
  for (uint64_t i = 1; i <= num; i++) {
    total += i;
  }
  return total;
}
